Improving Software Reliability in Data-centered Software Systems by Enforcing Composition Time Constraints
نویسندگان
چکیده
Specifying and enforcing constraints and invariants such as architectural constraints and data typing, strongly enhances the safety and reliability of the software system. Next to design and development constraints, the composition of software systems in component-based software also introduces composition time constraints and dependencies. In data-centered software systems, for example, the software composer implicitly creates dataflow dependencies between software components. Describing composition time constraints and enforcing these constraints at deploy time or at run-time strongly improves the safety and reliability of the software. In this paper, we present an approach for expressing and enforcing dataflow dependencies in data-centered software systems, and conclude with a validation of the approach in a servlet-based case study.
منابع مشابه
Steve Zdancewic Research Statement Security-oriented Languages Information-flow Security in Programming Languages
The proliferation of network-enabled devices and the success of Internet applications has made it easier to access data and share computing resources, improving many aspects of day-to-day life. At the same time, our society has become dependent on computing infrastructure for education, entertainment, business, the military and government transactions. As a consequence, ensuring the security an...
متن کاملImproving the Efficiency of Dislocality Constraints for an Automated Software Deployment in Safety-Critical Systems
Mapping software components to hardware resources is a central part of the systems engineering process. This task can be automated by formalization and transformation into a Constraint Satisfaction Problem and the subsequent application of a constraint solver. The toolsuite ASSIST demonstrates the feasibility of this concept. In ASSIST, dislocality requirements can be specified for software com...
متن کاملEstimation of Software Reliability by Sequential Testing with Simulated Annealing of Mean Field Approximation
Various problems of combinatorial optimization and permutation can be solved with neural network optimization. The problem of estimating the software reliability can be solved with the optimization of failed components to its minimum value. Various solutions of the problem of estimating the software reliability have been given. These solutions are exact and heuristic, but all the exact approach...
متن کاملProposing an Efficient Software-Based Method for Enhancing the Reliability of Critical Application Robot
Robots play such remarkable roles in humans’ modern lives that performing many tasks without them isimpossible. Using robotic systems is gradually increasing the tasks allocated to them and they are becomingmore complex and critical. Software reliability is one of the most significant requirements of robots. Forenhancing reliability, systems should be inherently designed to be tolerable of soft...
متن کاملLanguage-Based Architectural Control
Software architects design systems to achieve quality attributes like security, reliability, and performance. Key to achieving these quality attributes are design constraints governing how components of the system are configured, communicate and access resources. Unfortunately, identifying, specifying, communicating and enforcing important design constraints – achieving architectural control – ...
متن کامل